locl($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr($a$)